symbolic differentiation python